Nuprl Definition : symmetrize 13,42
Symmetrize(x,y.R(x;y);a;b) == R(a;b) & R(b;a) 
latex

Uprel 1, rel 1
Wellformedness Lemmassymmetrize wf, symmetrize wf
DefinitionsP & Q
FDL editor aliasessymmetrize

origin